@font-face {
	font-family: "Fira Sans";
	src: url(../fonts/FiraSans/FiraSans-Regular.ttf);
}

* {
	margin: 0px;
	padding: 0px;
	line-height: 1.5em;
	}

h1,
h2,
h3 {
	padding-top: 0.5em;
	}

h4 {
	margin-bottom: 0.1em;
	}

h1 {
	font-size: 1.6em;
	}

h2 {
	font-size: 1.3em;
	}
h3 {
	font-size: 1.1em;
	}

h1 small {
	font-size: 0.5em;
	}

div.file-uri {
	font-size: 0.8em;
	color: #777;
	font-style: italic;
	border-bottom: 1px dotted #BBB;
	margin-bottom: 0.2em;
	}


pre.text {
	background: #F7F7F7;
	border: 1px solid #EFEFEF;
	padding: 0.5em;
	font-family: "Lucida Console", monospace;
	font-size: 1.0em;
	line-height: 1.2em;
	}

body.content,
body.site-info {
	padding: 1em 2em 3em 2em;
	font-size: 0.9em;
	font-family: "Fira Sans";
	}

body.content div#footer {
	margin: 2em;
	border-top: 1px solid #CCC;
	color: gray;
	font-style: italic;
	letter-spacing: 1px;
	text-align: center;
	}


/* --   GRID TABLE  --  */
table.grid {
	border: 1px solid gray;
	border-collapse: collapse;
	}

table.grid td {
	border: 1px dotted #bbb;
	padding: 0.2em 0.5em;
	}

table.grid th {
	background: #F7F7F7;
	padding: 0.1em 0.2em;
	}
	
.CodeMirror {
	height: auto !important;
	}
